Some Bounds on the Complexity of Predicate Recognition by Finite Automata
نویسنده
چکیده
منابع مشابه
Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملLogics for Real Time: Decidability and Complexity
Over the last fifteen years formalisms for reasoning about metric properties of computations were suggested and discussed. First as extensions of temporal logic, ignoring the framework of classical predicate logic, and then, with the authors’ work, within the framework of monadic logic of order. Here we survey our work on metric logic comparing it to the previous work in the field. We define a ...
متن کاملComplexity Bounds of Constant-Space Quantum Computation
We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In particular, we show that, when the automata halt “in finite steps” along all computation paths, they must terminate in worstcase liner time. In the bounded-erro...
متن کاملMonoids and the State Complexity of the Operation root ( L ) by Bryan Krawetz
In this thesis, we cover the general topic of state complexity. In particular, we examine the bounds on the state complexity of some different representations of regular languages. As well, we consider the state complexity of the operation root(L). We give quick treatment of the deterministic state complexity bounds for nondeterministic finite automata and regular expressions. This includes an ...
متن کاملMonoids and the State Complexity of the Operation root ( L )
In this thesis, we cover the general topic of state complexity. In particular, we examine the bounds on the state complexity of some different representations of regular languages. As well, we consider the state complexity of the operation root(L). We give quick treatment of the deterministic state complexity bounds for nondeterministic finite automata and regular expressions. This includes an ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 12 شماره
صفحات -
تاریخ انتشار 1976